Timed Testing of Concurrent Systems

Universit at Augsburg Further Studies on Timed Testing of Concurrent Systems Further Studies on Timed Testing of Concurrent Systems

The setting of Vog95] is extended in three aspects: i) semantic equivalences are replaced by preorders, yielding implementation-speciication-relations, ii) discrete time is generalized to continuous time and iii) the three variants of timed behaviour (liberal, mixed and strict) are completed by thèdual' of mixed behaviour. As main results we derive: i) if a strictly timed system performs in bot...

Modeling Timed Concurrent Systems

Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description languages), discrete-event simulation, and modeling of communication networks. They consist of concurrent components that communicate using timed signals, that is, sets of (semantically) time-stamped events. The denotationa...

Semantics of Timed Concurrent Systems

A truly concurrent and timeless semantics is proposed for a composition of sequential, non-deterministic processes with asynchronous communication. It is shown when this semantics differs from simple interleaving. Implementation-dependent time constraints determine a subset of all computations of the timeless semantics. This set is precisely characterized for given constraints. It is shown how ...

A Timed Speciication Language for Concurrent Reactive Systems a Timed Speciication Language for Concurrent Reactive Systems

Cooperative Testing of Timed Systems

This paper deals with targeted testing of timed systems whose models may have uncontrollable behavior. The testing activity is viewed as a game between the tester and the system under test (SUT) towards a given test purpose. The SUT is modeled as Timed Game Automaton and the test purpose is specified in Timed CTL formula. We employ a timed game solver UPPAAL-TIGA to check if the test purpose is...